DEF=test

include ../../../../include/kframework/ktest-fail.mak
